Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
501	Stéphane Le Roux Main research interest: Game theory in connection with economics, logic, and theoretical computer science. Add to Reading List Source URL: www.ulb.ac.be Language: English - Date: 2014-10-20 08:51:53
502	Decreasing energy functions for some cellular automata E. Goles * Department of Mathematics Engineering School University of Chile Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:11:03 Combinatory logic Lambda calculus Logic in computer science Stochastic processes Estimation theory Heat equation Itō diffusion Statistics Mathematics Mathematical analysis
503	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
504	Efficient Query Rewriting in the Description Logic EL and Beyond ˙ Peter Hansen and Carsten Lutz and Inanc ¸ Seylan University of Bremen, Germany {hansen, clu, seylan}@informatik.uni-bremen.de Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2015-05-04 02:34:23 Symbol Model theory Rewriting Datalog FO Theoretical computer science Logic Mathematics
505	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
506	Procrastination in probabilistic logic Benja Fallenstein Background: Reflection in probabilistic logic Christiano et al. [?] have proposed a way of working around Tarski’s undefinability of truth by assigning probabili Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:38:20 Peano axioms Logic Philosophy of mathematics Mathematics Logic in computer science Mathematical logic
507	2D Dictionary Matching in Small Space Add to Reading List Source URL: schatzlab.cshl.edu Language: English - Date: 2013-02-22 20:24:56 Pattern matching Mathematics Applied mathematics Logic String matching algorithms Graphics file formats Algorithm Mathematical logic Theoretical computer science
508	BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:07:46 Computing Logic in computer science Operational semantics Denotational semantics Semantics Programming language Expression Action semantics Monad Software engineering Theoretical computer science Programming language semantics
509	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
510	LNCSA Fuzzy Rank-Based Late Fusion Method for Image Retrieval Add to Reading List Source URL: www.aviarampatzis.com Language: English - Date: 2012-03-11 14:11:53 Science Artificial intelligence Control engineering Logic in computer science Fuzzy control system Defuzzification Color layout descriptor Information retrieval Fuzzy set Fuzzy logic Logic Mathematical logic

UPDATE